1. Computability and logic

by Boolos, George S | Burgess, John P | Jeffrey, Richard C.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2002Availability: Items available for loan: [Call number: 511.3 BOO] (1).
2. Recursive function theory and logic

by Yasuhara, Ann.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Academic Press, 1971Availability: Items available for loan: [Call number: 511.3 YAS] (1).
3. Computability and logic

by Boolos, George S | Burgess, John P | Jeffrey, Richard C.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 511.352 BOO] (1).

Powered by Koha